- ramified theory
- мат.разветвлённая теория
English-Russian scientific dictionary. 2008.
ramified theory
Смотреть что такое "ramified theory" в других словарях:
ramified theory of types — See types, theory of … Philosophy dictionary
Ramified forcing — In mathematics, ramified forcing is the original form of forcing introduced by harvtxt|Cohen|1963. Ramified forcing starts with a model M of V = L, and builds up larger model M [ G ] of ZF by adding a generic subset G of a poset to M , by… … Wikipedia
types, theory of — Russell s own reaction to his paradox of the class of all classes that are not members of themselves (see Russell s paradox ) was to suggest that the definition is ill formed because it involves the illegitimate notion of ‘all classes’. If the… … Philosophy dictionary
Conductor (class field theory) — In algebraic number theory, the conductor of a finite abelian extension of local or global fields provides a quantitative measure of the ramification in the extension. The definition of the conductor is related to the Artin map. Contents 1 Local… … Wikipedia
College for Advanced Studies in Social Theory — The College for Advanced Studies in Social Theory (Hungarian: Társadalomelméleti Kollégium, TEK) is the second oldest college of its type at the Corvinus University of Budapest as well as in Hungary. Contents 1 History 1.1 1981–present 2 … Wikipedia
Logicism — is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic.[1] Bertrand Russell and Alfred North Whitehead… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Hermann Weyl — Infobox Scientist box width = name = Hermann Klaus Hugo Weyl image size = caption = Hermann Weyl (left) and Ernst Peschl (right) birth date = Birth date|1885|11|9|df=y birth place = Elmshorn, Germany death date = Death date and… … Wikipedia
Russell, Bertrand — ▪ British logician and philosopher in full Bertrand Arthur William Russell, 3rd Earl Russell of Kingston Russell, Viscount Amberley of Amberley and of Ardsalla born May 18, 1872, Trelleck, Monmouthshire, Wales died Feb. 2, 1970,… … Universalium
Typentheorie — Die Typentheorie ist eine von Bertrand Russell entwickelte Form der Mengenlehre, mit der er unter anderem versuchte, die von ihm entdeckte Russellsche Antinomie und andere Widersprüche der naiven Mengenlehre zu beheben. Nach dieser Theorie gibt… … Deutsch Wikipedia
Typtheorie — Die Typentheorie ist eine von Bertrand Russell entwickelte Form der Mengenlehre, mit der er unter anderem versuchte, die von ihm entdeckte Russellsche Antinomie und andere Widersprüche der naiven Mengenlehre zu beheben. Nach dieser Theorie gibt… … Deutsch Wikipedia
